Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
191	U. S. GEOLOGICAL SURVEY ANNUAL PEAK FLOW FREQUENCY ANALYSIS Following Bulletin 17-B Guidelines Program peakfq (Version 4.0, December, 2000) Add to Reading List Source URL: archive.usgs.gov Language: English - Date: 2016-03-15 12:26:27 Hydrology Outlier Statistical data Discharge
192	Managing Through Change: The Power of Rolling Forecasts AugustBy Steve Player, Program Director Add to Reading List Source URL: www.bbrtna.org Language: English - Date: 2007-07-10 15:15:51 Economy Prediction Time Statistical forecasting Strategic management Forecasting Time series analysis Scenario planning Budget Finance Long range planning Economic forecasting
193	Teacher Notes for Integrals Compatibility: TI-83+/83+SE/84+/84+SE Run The Program Called: INTEGRAL X Summary This program provides a graphical display and numerical answers for areas under and between functions. It prove Add to Reading List Source URL: www.calculatorsoftware.co.uk Language: English - Date: 2013-01-27 17:16:14 Mathematical analysis Numerical integration Integral Integral calculus Trapezoidal rule Numerical analysis Pi Lebesgue integration Improper integral Symbolic integration
194	Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Computer architecture Software engineering Programming language implementation Alias analysis Static program analysis Minicomputers X86 assembly language Program counter Assembly language PDP-8 Random-access machine
195	Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2015-02-16 13:00:00 Software engineering Compiler optimizations Compiler construction Programming language theory Computing Data-flow analysis Control flow graph Variable Scope Static single assignment form Aliasing Program analysis
196	Utah Cost of Crime 2012 This paper briefly describes Utah’s approach to conducting evaluating the quality of the program evaluations used in our analysis. Overview Add to Reading List Source URL: justice.utah.gov Language: English - Date: 2012-08-28 11:38:16 Evaluation Healthcare quality Criminology Impact assessment Penology Health care Evidence-based practices Knowledge Recidivism Meta-analysis Program evaluation Evidence-based medicine
197	A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:28 Compiler optimizations Computing Program analysis Abstract interpretation Data-flow analysis Abstraction Static single assignment form Graph Bytecode Register allocation Algorithm Academia
198	Appendix C Pay Program Administration Manual January Add to Reading List Source URL: www.papionrd.org Language: English - Date: 2015-12-14 11:14:30 Economy Employment Employment compensation Human resource management Business Industrial and organizational psychology Job evaluation Labour relations Compensation and benefits Minimum wage Job analysis Performance appraisal
199	Aachen Department of Computer Science Technical Report Better termination proving through cooperation Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2013-04-14 08:37:31 Graph theory Mathematics Discrete mathematics Static program analysis Termination analysis Graph Cograph KeY IP Ear decomposition
200	Compact Quantum Groups Satellite conference of the 7ECM (Berlin – 15 July 2016, Alfried Krupp Wissenschaftskolleg Greifswald, Germany Program All talks are 40 minutes (except the public evening lecture). Add to Reading List Source URL: www.wiko-greifswald.de Language: English - Date: 2016-07-19 08:50:46 Algebra Mathematics Abstract algebra Representation theory Monoidal categories Harmonic analysis C*-algebras Quantum groups Hopf algebra TannakaKrein duality Compact quantum group Von Neumann algebra

UPDATE